SET THEORETIC LATENT TRAIT MODEL

Set Theoretic Methods in Model Predictive Control

The main objective of this paper is to highlight the role of the set theoretic analysis in the model predictive control synthesis. In particular, the set theoretic analysis is invoked to: (i) indicate the fragility of the model predictive control synthesis with respect to variations of the terminal constraint set and the terminal cost function and (ii) discuss a simple, tube based, robust model...

A Latent Trait Model of Simulated Combat Performance

Order-theoretic Invariants in Set-theoretic Topology

We present several results related to van Douwen’s Problem, which asks whether there is homogeneous compactum with cellularity exceeding c, the cardinality of the reals. For example, just as all known homogeneous compacta have cellularity at most c, they satisfy similar upper bounds in terms of Peregudov’s Noetherian type and related cardinal functions defined by order-theoretic base properties...

Set Theoretic Real Analysis

This article is a survey of the recent results that concern real functions (from R into R) and whose solutions or statements involve the use of set theory. The choice of the topics follows the author’s personal interest in the subject, and there are probably some important results in this area that did not make it to this survey. Most of the results presented here are left without proofs. 1991 ...

Gradual Set-Theoretic Types

Problem and motivation. A static type system can be an extremely powerful tool for a programmer, providing early error detection, and offering strong compile-time guarantees on the behavior of a program. However, compared to dynamic typing, static typing often comes at the expense of development speed and flexibility, as statically-typed code might be more difficult to adapt to changing require...